Constructible number - PDFSEARCH.IO - Document Search Engine

Constructible number
Results: 311

#	Item
111	Optimal Bounds in Parametric LTL Games Martin Zimmermann1 Institute of Informatics University of Warsaw Warsaw, Poland Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-08-01 04:03:57 Tiny Encryption Algorithm Partition Valuation Ground expression Constructible universe Ordinal number Mathematics Linear temporal logic Temporal logic
112	Journal of Machine Learning Research[removed]1561 Submitted 4/12; Revised 1/13; Published 6/13 Fast Generalized Subset Scan for Anomalous Pattern Detection Edward McFowland III Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2013-07-20 22:05:55 Statistical tests Constructible universe Anomaly detection Maximum likelihood Likelihood-ratio test Likelihood function Ordinal number Statistics Statistical theory Estimation theory
113	Heylighen F[removed]): "A Structural Language for the Foundations of Physics", International Journal of General Systems 18, p[removed]A Structural Language for the Foundations of Physics FRANCIS HEYLIGHEN Add to Reading List Source URL: pcp.vub.ac.be Language: English - Date: 2014-05-02 12:27:43 Constructible universe Ordinal number Quantum logic Dimensionless physical constant Function Abstraction Net Predicate Ordinal arithmetic Mathematics Mathematical logic Logic
114	Heylighen F[removed]): "A Structural Language for the Foundations of Physics", International Journal of General Systems 18, p[removed]A Structural Language for the Foundations of Physics FRANCIS HEYLIGHEN Add to Reading List Source URL: pcp.vub.ac.be Language: English - Date: 2014-05-02 12:27:43 Constructible universe Ordinal number Quantum logic Dimensionless physical constant Function Abstraction Net Predicate Ordinal arithmetic Mathematics Mathematical logic Logic
115	Witnessing (Co)datatypes Jasmin Christian Blanchette1,2 , Andrei Popescu3 , and Dmitriy Traytel4 1 Inria Nancy & LORIA, Villers-lès-Nancy, France Max-Planck-Institut für Informatik, Saarbrücken, Germany Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Curry–Howard correspondence Dependently typed programming Logic in computer science Philosophy of computer science Type theory Logic Constructible universe Ordinal number Functor Mathematical logic Mathematics Proof theory
116	PERFECT PUBLIC EQUILIBRIUM WHEN PLAYERS ARE PATIENT DREW FUDENBERG, DAVID K. LEVINE AND SATORU TAKAHASHI A BSTRACT. The limit set of perfect public equilibrium payoffs of a repeated game as the discount factor goes to on Add to Reading List Source URL: levine.sscnet.ucla.edu Language: English - Date: 2005-09-12 23:46:36 Group theory Vector space Vectors Constructible universe Nash equilibrium Ordinal number Spectral theory of ordinary differential equations Symbol Algebra Mathematics Linear algebra
117	Semantic Pollution and Syntactic Purity Stephen Read University of St Andrews November 25, 2014 Abstract Logical inferentialism claims that the meaning of the logical constants Add to Reading List Source URL: www.st-andrews.ac.uk Language: English - Date: 2014-11-25 06:50:30 Mathematics Natural deduction Sequent calculus Lambda calculus Ordinal number Constructible universe Sequent Symbol Modal logic Mathematical logic Logic Proof theory
118	EXISTENCE AND A PRIORI ESTIMATES FOR SEMILINEAR ELLIPTIC SYSTEMS OF HARDY TYPE ˇ J. PACUTA Abstract. We study semilinear elliptic systems of Hardy type on bounded domains. We look for conditions guaranteeing the existen Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2014-01-16 05:05:13 Constructible universe Ordinal number Partial differential equations Set theory Sobolev spaces Symbol Spectral theory of ordinary differential equations Mathematics Mathematical analysis Calculus
119	arXiv:1104.1686v1 [math.LO] 9 Apr[removed]Categoricity for Patterns of Order 2 Timothy J. Carlson The Ohio State University, Columbus, OH[removed]USA email: [removed] Add to Reading List Source URL: arxiv.org Language: English - Date: 2011-04-12 01:21:26 Algebraic number theory Mathematics Sylow theorems Ordinal number Constructible universe Automata theory
120	Distances and orderings in a family of intuitionistic fuzzy numbers Przemysław Grzegorzewski Systems Research Institute, Polish Academy of Sciences Newelska 6, [removed]Warsaw, Poland [removed] Add to Reading List Source URL: www.eusflat.org Language: English - Date: 2011-12-12 02:23:09 Mathematics Fuzzy set Membership function Constructible universe Intuitionism Fuzzy number Fuzzy logic Logic Mathematical logic

UPDATE